25 research outputs found
Metallothionein stroma reaction in tumor adjacent healthy tissue in head and neck squamous cell carcinoma and breast adenocarcinoma
Get PDFIn vivo and in vitro phosphorylation of annexin II in T cells: potential regulation by annexin V
Full text link
International migration by 2030: impact of immigration policies scenarios on growth and employment
No full textAltered PGE2 and PGF2 alpha production by glomeruli and papilla of sodium-depleted and sodium-loaded rats
No full textAssessment of interactions between quality of urban landscape and human health, the case study in a Central European city
No full textInternational migration by 2030: impact of immigration policies scenarios on growth and employment
No full textThe Combinatorics of Barrier Synchronization
No full textInternational audienceIn this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synchronization barriers. We elaborate a systematic decomposition of processes that produces a symbolic integral formula to solve the problem. Based on this procedure, we develop a generic algorithm to generate process executions uniformly at random. For some interesting sub-classes of processes we propose very efficient counting and random sampling algorithms. All these algorithms have one important characteristic in common: they work on the control graph of processes and thus do not require the explicit construction of the state-space
